Merge branch 'wip/chergert/undo-fixes' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 24 Sep 2021 12:36:30 +0000 (12:36 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 24 Sep 2021 12:36:30 +0000 (12:36 +0000)
commite41bf097d01011521f0235ab5f401f88fb188f39
tree4c701852871e2e89366683082ca3fb191145c22c
parent7a82e9f557dc8cf65ccb4875c8f501c4d8c43a3e
parent659393049e640145979c73dddd19acc1ca4b5e14
Merge branch 'wip/chergert/undo-fixes' into 'master'

texthistory: add barriers after final grouping

Closes #4276

See merge request GNOME/gtk!3989